Unique Factorization Theorem